/*
 * TopModule.java
 * 
 * last update: 16.01.2010 by Stefan Saru
 * 
 * author:	Alec(panovici@elcom.pub.ro)
 * 
 * Obs:
 */

package engine;

import java.util.*;
import middle.ScopeNode;

class TopModule extends Module{

	TopModule(ModuleDescription desc, ScopeNode root) throws ParseException{
		super(desc, null, null, root);
	}

	public Object resolveName(FQN fqn){
		return resolveNameExact(fqn);
	}

	public String toString() {
		return VeriParser.topName;
	}
}




